@Override
public void visit(PositiveOp that) {
super.visit(that);
propagateFromTerm(that, that.getTerm());
}
@Override
super.visit(that);
// FIXME: when operator methods support better unboxing than this, reenable this:
//propagateFromTerm(that, that.getTerm());
if(that.getTerm() instanceof Tree.NaturalLiteral)
Util.markUnBoxed(that);
}